Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
481	A COMPUTATIONAL LEARNING SEMANTICS FOR INDUCTIVE EMPIRICAL KNOWLEDGE KEVIN T. KELLY Abstract. This paper presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a lear Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-02-22 15:09:02 Model theory Deduction Interpretation Philosophy of mind Entailment Modal logic Substitution Universal property Linear temporal logic Logic Propositional calculus Philosophical logic
482	Journal of Applied Logic[removed]–113 Contents lists available at ScienceDirect Journal of Applied Logic www.elsevier.com/locate/jal Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2010-10-08 06:35:38 Linear algebra Norm Philosophy of language Philosophy of law Permission Lp space Function Filesystem permissions Logic programming Mathematics Algebra Mathematical analysis
483	FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-20 04:50:04 Proof theory Propositional calculus Philosophical logic Model theory Soundness Linear logic Sequent calculus Deductive reasoning Entailment Logic Mathematical logic Deduction
484	Theory and Applications of Categories, Vol. 28, No. 23, 2013, pp. 733–779. THE ALGEBRA OF THE NERVES OF OMEGA-CATEGORIES RICHARD STEINER Abstract. We show that the nerve of a strict omega-category can be described alg Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-09-01 12:03:00 Category theory Functional analysis Projection linear algebra Nerve Homological algebra Combinatory logic Meijer G-function Abstract algebra Mathematics Algebra
485	Real Analysis Exchange Summer Symposium 2009, pp. 14–20 Laurent Moonens,∗ D´epartement de Math´ematique, Universit´e catholique de Louvain, chemin du Cyclotron, 2, B-1348 Louvain-la-Neuve, Belgium. email: laurent. Add to Reading List Source URL: www.stolaf.edu Language: English - Date: 2010-01-15 15:05:50 Spectral theory Differential geometry Operator theory Linear temporal logic Temporal logic Pullback Mathematical analysis Mathematics Theoretical physics
486	A Linear Encoding of Pushdown Control-Flow Analysis Steven Lyde Thomas Gilray ∗ Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2014-11-04 14:23:30 Logic Mathematics Metaphilosophy Formal languages Metalogic Model theory Structure
487	42 Taking Norm-Regulation Seriously D AVIDE FASSIO Abstract Engel has recently introduced a distinction between norm and normregulation. The regulation of a norm concerns the ways in which agents can follow that norm. In Add to Reading List Source URL: www.unige.ch Language: English - Date: 2014-11-07 16:16:01 Mind Reasoning Philosophy of language Linear algebra Epistemology Norm Rationality Theory of justification Reason Philosophy Logic Philosophy of law
488	Optimal Sampling Laws for Stochastically Constrained Simulation Optimization on Finite Sets Susan R. Hunter, Raghu Pasupathy The Grado Department of Industrial and Systems Engineering, Virginia Tech, Blacksburg, VA 24061 Add to Reading List Source URL: scholar.lib.vt.edu Language: English - Date: 2011-03-16 16:23:05 Mathematics Convex optimization Linear programming Constraint Entailment Operations research Logic Mathematical optimization
489	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.select.cs.cmu.edu Language: English - Date: 2009-10-20 18:53:39 Model theory Boolean algebra Propositional calculus Cutting-plane method Resolution First-order logic Function Interpretation Linear programming Mathematics Logic Mathematical logic
490	Hierarchical Exploration for Accelerating Contextual Bandits Yisong Yue [removed] iLab, H. John Heinz III College, Carnegie Mellon University, Pittsburgh, PA 15213, USA Sue Ann Hong Add to Reading List Source URL: www.select.cs.cmu.edu Language: English - Date: 2012-05-21 17:52:03 Functional analysis Projection Vector space Forcing Combinatory logic Algebra Mathematics Linear algebra

UPDATE